Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
581	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory
582	Small Latin Squares, Quasigroups and Loops Brendan D. McKay∗ Add to Reading List Source URL: cs.anu.edu.au Language: English - Date: 2005-11-09 21:39:49 Geometry Symbol Isotopy of loops Latin square Permutation Quasigroup Projective plane Orbifold Holomorphic functional calculus Nonassociative algebra Mathematics Abstract algebra
583	An O(log n/ log log n)-approximation Algorithm for the Asymmetric Traveling Salesman Problem Arash Asadpour∗ Add to Reading List Source URL: www.siam.org Language: English - Date: 2009-12-02 12:21:54 Spanning tree Minimum spanning tree Loop-erased random walk Chernoff bound Eulerian path NP-complete problems Dominating set Holomorphic functional calculus Graph theory Mathematics Theoretical computer science
584	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
585	A model of type theory in cubical sets Marc Bezem∗ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-28 11:00:41 Symbol Sheaf Algebra Orbifold Holomorphic functional calculus Topology Algebraic topology Abstract algebra
586	ZU064-05-FPR aopa Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2009-01-30 14:43:06 Higher-order functions Recursion Fold Functional languages Map Functions and mappings Lambda calculus Agda Function Software engineering Computing Declarative programming
587	A Generalization of Takeuti-Gandy Interpretation Bruno Barras, Thierry Coquand and Simon Huber Add to Reading List Source URL: uf-ias-2012.wikispaces.com Language: English - Date: 2013-03-11 12:03:37 Logic Deduction Natural deduction Sheaf Ordinal numbers Set theory Orbifold Holomorphic functional calculus Mathematical logic Proof theory Mathematics
588	A Transformational Approach to Generic Software Development Based on Higher-Order, Typed Functional Signatures Add to Reading List Source URL: doku.b.tu-harburg.de Language: English - Date: 2012-08-07 07:51:35 Computer programming Data types Lambda calculus Subroutines Functional programming Generic programming Kind Polymorphism System F Software engineering Computing Type theory
589	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 08:03:39 Mathematics Deduction Natural deduction Normalisation by evaluation Curry–Howard correspondence Model theory Lambda calculus Orbifold Holomorphic functional calculus Theoretical computer science Mathematical logic Proof theory
590	Real Analysis Exchange Summer Symposium 2010, pp. 48–50 Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2011-01-20 17:59:36 Prime number theorem Function Functional analysis Spectral theory of ordinary differential equations Calculus of variations Mathematics Mathematical analysis Operator theory

UPDATE